The Minepump Case Study
نویسندگان
چکیده
In this report presents our experience with automating parts of the FMEA process using a model checker. As the case study a minepump control system is used, that prevents flooding in a mineshaft
منابع مشابه
Formalizing Timing Diagram Requirements in Discrete Duration Calculus
Several temporal logics have been proposed to formalise timing diagram requirements over hardware and embedded controllers. These include LTL [CF05], discrete time MTL [AH93] and the recent industry standard PSL [EF16]. However, succintness and visual structure of a timing diagram are not adequately captured by their formulae [CF05]. Interval temporal logic QDDC is a highly succint and visual n...
متن کاملFamilial risk of acne vulgaris in 8-13 year-old females: A case-control study
Background: Acne vulgaris has a multifactorial pathogenesis; however, the exact role of genetic predisposition is not clear. Some studies have reported an association between familiy historyof acne and moderate to severe acne. In this study, we investigated the relationship between familiy history and prevalence of acne vulgaris in girls 8 to 13 years of age.Methods: This case-control study enr...
متن کاملطراحیهای تنها موردی و مورد- شاهدی در ارزیابی اثر متقابل ژن- محیط با استفاده از دادههای سرطان پستان
Background and Objectives: The role of gene-environment interaction in epidemiology has been widely considered. The traditional methods of studying the gene-environment interaction need appropriate control groups which their selection may be associated with some problems. Therefore, new methods have been created to study these interactions from which are the case-only designs. In this method,...
متن کاملAssociation between vitiligo and diabetes mellitus: a case control study
Background: Vitiligo is a common acquired disorder of the skin. The disease is characterized by depigmented macules and patches on the skin. Autoimmunity has a crucial role in the pathogenesis of the vitiligo. Vitiligo is frequently associated with different autoimmune diseases such as thyroid abnormalities and diabetes. This study aimed to evaluate the association between vitiligo and diabetes...
متن کاملCase Mix Planning using The Technique for Order of Preference by Similarity to Ideal Solution and Robust Estimation: a Case Study
Management of surgery units and operating room (OR) play key roles in optimizing the utilization of hospitals. On this line Case Mix Planning (CMP) is normally applied to long term planning of OR. This refers to allocating OR time to each patient’s group. In this paper a mathematical model is applied to optimize the allocation of OR time among surgical groups. In addition, another technique is ...
متن کامل